Truth function - PDFSEARCH.IO - Document Search Engine

Truth function
Results: 71

#	Item
31	The Naming of Facts and the methodology of language-based metaphysics Arianna Betti To Kevin Mulligan, on the occasion of his 60th birthday Add to Reading List Source URL: www.philosophie.ch Language: English - Date: 2012-06-28 04:43:06 Philosophical logic Branches of philosophy Reality Veracity Theories of truth Proposition Function Metaphysics Philosophy of language Logic Philosophy Science
32	Vagueness, Logic, and Ontology Achille C. Varzi Department of Philosophy, Columbia University, New York (Published in The Dialogue. Yearbooks for Philosophical Hermeneutics[removed]), 135–154) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2005-11-03 08:00:49 Science Semantics Fuzzy logic Philosophical logic Vagueness Predicate Degree of truth Indeterminacy Function Logic Philosophy Philosophy of language
33	EuJAP \| Vol. 8 \| No. 2 \| 2012 UDK 1:[removed]ARE ALL GENERALIZATIONS FALSE? Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:27 Philosophical logic Mathematical logic Propositional calculus Veracity Proposition Truth Interpretation Contingency Function Logic Philosophy Philosophy of language
34	Generating Efficient Libraries for use in FPGA Resynthesis Algorithms Andrew Kennings Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-10 22:06:40 Digital electronics Boolean algebra Arrays Computer performance Lookup table Field-programmable gate array Truth table Programmable logic device Function Mathematics Electronic engineering Computing
35	Fast Boolean Matching for LUT Structures Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-09-26 01:21:56 Mathematical analysis Boolean function Boolean network Lookup table Truth table Circuit Monotonic function Function Boolean satisfiability problem Mathematics Boolean algebra Theoretical computer science
36	EuJAP \| Vol. 8 \| No. 2 \| 2012 UDK 1:[removed]ARE ALL GENERALIZATIONS FALSE? Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:27 Philosophical logic Mathematical logic Propositional calculus Veracity Proposition Truth Interpretation Contingency Function Logic Philosophy Philosophy of language
37	EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 1 Frege, G. 1 Russell, B. Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:19 Philosophy of language Philosophical logic Meaning Semantics Philosophers of mathematics Gottlob Frege Sense and reference Function Truth Philosophy Analytic philosophy Logic
38	Statistical Software Debugging by Alice Xiaozhou Zheng B.A. (University of California, Berkeley[removed]A dissertation submitted in partial satisfaction of the requirements for the degree of Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:06:44 Software bug Mathematical logic Predicate Debugging Algorithm Truth Michael I. Jordan Function Mathematics Philosophy Logic
39	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
40	Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA Add to Reading List Source URL: cadlab.cs.ucla.edu Language: English - Date: 2007-02-13 15:10:27 Mathematical logic Implicant Lookup table Canonical form Boolean satisfiability problem Conjunctive normal form Binary decision diagram Truth table Boolean function Boolean algebra Theoretical computer science Mathematics